<?xml version='1.0' encoding='utf-8' ?><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
	<head>
		<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
		<title>ValidationRules</title>
		<link type="text/css" rel="stylesheet" href="PLUGINS_ROOT/org.polarsys.capella.doc/html/styles.css"/>
	</head>
	<body>
		<h1 id="Design_.3E_Well-formedness_.3E_State_Machines">Design &gt; Well-formedness &gt; State Machines</h1>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_SM_01 - A state machine must have only one initial state </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that a state machine have only one initial state</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_SM_02 - An initial state must have only one outgoing transition </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that an initial state have only one outgoing transition.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_SM_03 - Referenced states of a state must be all involved states in its subregions </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that referenced  States in a State are the sum of all involved States of sub regions.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_SM_04 - A decision or a fork must have only one entering transition </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that a decision or a fork have only one entering transition.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_SM_05 - A join connector must have only one outgoing transition </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that a join connector have only one outgoing transition.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_SM_06 - Mode and State shouldn't be in same hierarchy </td>
			</tr>
			<tr>
				<td colspan="2">This rule depends on the Preference option "Mode/State mixed hierarchy allowed". If this option is set to false, the rule checks that  a state is not in a mode hierarchy or a mode is not in a state hierarchy. In this case, hierarchy includes siblings.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="WARNING" alt="WARNING" border="0" src="../../../../Images/warning.gif"/>
				</th>
				<td>DWF_SM_07 - Fork and Join State must be used in the context of concurrent Region </td>
			</tr>
			<tr>
				<td colspan="2">This rule ensure that Join/Fork states are used in concurrent region context.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="WARNING" alt="WARNING" border="0" src="../../../../Images/warning.gif"/>
				</th>
				<td>DWF_SM_08 - State must reference a function with doActivity/entry/exit related with its owning component </td>
			</tr>
			<tr>
				<td colspan="2">This rule check if doActivity/Entry/Exit reference only functions associated to the component owning the state Machine or allocated to one of its subcomponents.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="WARNING" alt="WARNING" border="0" src="../../../../Images/warning.gif"/>
				</th>
				<td>DWF_SM_09 - StateTransitions trigger shall not reference unallocated Functions or Functional Exchanges  and be consistent with business query. </td>
			</tr>
			<tr>
				<td colspan="2">This rule check that Functions or Functional Exchanges which triggers the StateTransition are allocated on the Component or one of its subcomponents.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="WARNING" alt="WARNING" border="0" src="../../../../Images/warning.gif"/>
				</th>
				<td>DWF_SM_10 - StateTransition source and target shouldn't be stored in concurrent region </td>
			</tr>
			<tr>
				<td colspan="2">This rule check that source and target of StateTransition are not stored in concurrent region.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_SM_11 -  EntryPoint must have only one outgoing transition and one or more incoming transition </td>
			</tr>
			<tr>
				<td colspan="2">This rule check that EntryPoint have only one outgoing transition and one or more incoming transition.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_SM_12 - ExitPoint must have only one incoming transition and one or more outgoing transition </td>
			</tr>
			<tr>
				<td colspan="2">This rule check that ExitPoint have only one incoming transition and one or more outgoing transition.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_SM_13 - Shallow/Deep History shall have only incoming transitions </td>
			</tr>
			<tr>
				<td colspan="2">This rule check that Shallow/Deep History state has only incoming transitions.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="WARNING" alt="WARNING" border="0" src="../../../../Images/warning.gif"/>
				</th>
				<td>DWF_SM_14 - Functions referenced in a State must be referened as available in this State. </td>
			</tr>
			<tr>
				<td colspan="2">This rule check that Functions referenced as DoActivity, Entry or Exit of a Mode/State are available via the Operational Activities/Functions reference of this State.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="WARNING" alt="WARNING" border="0" src="../../../../Images/warning.gif"/>
				</th>
				<td>DWF_SM_15 - Mode and State shouldn't reuse each other </td>
			</tr>
			<tr>
				<td colspan="2">This rule depends on the Preference option"Mode/State mixed hierarchy allowed". If this option is set to false, the rule checks that a state does not reuse a mode or a mode does not reuse a state.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_SM_16 - Mode and State can not be mixed in the same State Machine </td>
			</tr>
			<tr>
				<td colspan="2">This rule depends on the Preference option "Mode/State mixed hierarchy allowed". If this option is set to false, the rule checks that a State Machine has no mixed States and Modes.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
	</body>
</html>